Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Franche-Comté662
Enrica Nicolini18
Franche-Comté Sauf Enrica Nicolini" 657
Enrica Nicolini Sauf Franche-Comté" 13
Franche-Comté Et Enrica Nicolini 5
Franche-Comté Ou Enrica Nicolini 675
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
002F08 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
003684 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003C83 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
003C88 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combinable Extensions of Abelian Groups
004526 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022